Refinement principles supporting the transition from asynchronous to synchronous communication
نویسندگان
چکیده
منابع مشابه
Refinement Principles Supporting the Transition from Asynchronous to Synchronous Communication
We present three reenement principles supporting the transition from system speciications based on (unbounded) asynchronous communication to system spec-iications based on (bounded) synchronous communication. We refer to these principles as partial, total and conditional reenement, respectively. We distinguish between two synchronization techniques, namely synchronization by handshake and synch...
متن کاملAsynchronous Deployment of Synchronous Transition Systems
The synchronous model of concurrency has demonstrated its practicality for the for the design of circuits, embedded systems, reactive systems. This model allows to base design on deterministic concurrency, which is much easier to deal with than classical, nondeterministic, asynchronous concurrency. Compiling, optimizing, and verifying programs is done using powerful techniques. On the other han...
متن کاملOn Synchronous and Asynchronous Communication Paradigms
The π-calculus, its asynchronous version and Boudol’s mapping from the former language to the latter one are well-known mathematical objects in theoretical computer science. It is also well-known that the mapping is not fully-abstract w.r.t. most of the semantics defined over these two languages. In this paper we study and fix conditions on the existence of fully-abstract results for Boudol’s m...
متن کاملBehaviour and refinement of port-based components with synchronous and asynchronous communication
Component-based development is an established discipline of Software Engineering. It focuses on the development of strongly encapsulated components to support reuse within the construction of hierarchical systems by assemblies of components and their connectors. Software component models define concepts for the construction of component-based systems. Formal software component models additional...
متن کاملAsynchronous Communication Using Synchronous IPC Primitives
The asynchronous communication model provides applications with parallelism, message buffering, and a convenient programming model. In contrast to the synchronous model however, it is inherently associated with policy regarding the management and delivery of buffered messages. Communication partners are dependent on controlling these policies in order to achieve additional semantics and perform...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Science of Computer Programming
سال: 1996
ISSN: 0167-6423
DOI: 10.1016/0167-6423(95)00031-3